Probabilistic Multiagent Reasoning over Annotated Amalgamated F-Logic Ontologies

A Distribution Semantics for Probabilistic Ontologies

We present DISPONTE, a semantics for probabilistic ontologies that is based on the distribution semantics for probabilistic logic programs. In DISPONTE each axiom of a probabilistic ontology is annotated with a probability. The probabilistic theory defines thus a distribution over normal theories (called worlds) obtained by including an axiom in a world with a probability given by the annotatio...

Implementing probabilistic description logics: An application to image interpretation

This paper presents an application of an optimized implementation of a probabilistic description logic defined by Giugno and Lukasiewicz [9] to the domain of image interpretation. This approach extends a description logic with so-called probabilistic constraints to allow for automated reasoning over formal ontologies in combination with probabilistic knowledge. We analyze the performance of cur...

Reasoning with Annotated Description Logic Ontologies

8 th International Workshop on Uncertainty Reasoning for the Semantic Web

We present DISPONTE, a semantics for probabilistic ontologies that is based on the distribution semantics for probabilistic logic programs. In DISPONTE the axioms of a probabilistic ontology can be annotated with an epistemic or a statistical probability. The epistemic probability represents a degree of confidence in the axiom, while the statistical probability considers the populations to whic...

P- : A Probabilistic Extension of for Probabilistic Ontologies in the Semantic Web

Ontologies play a central role in the development of the semantic web, as they provide precise definitions of shared terms in web resources. One important web ontology language is DAML+OIL; it has a formal semantics and a reasoning support through a mapping to the expressive description logic ! with the addition of inverse roles. In this paper, we present a probabilistic extension of ! , called...